Nuprl Definition : reduce2
4,23
postcript
pdf
reduce2(
f
;
k
;
i
;
as
) == Case of
as
; nil
k
;
a
.
as'
, rec:
f
(
a
,
i
,reduce2(
f
;
k
;
i
+1;
as'
))
(recursive)
latex
Definitions
Y
FDL editor aliases
reduce2
origin
k ; a.as', rec: f(a,i,reduce2(f;k;i+1;as'))
k ; a.as', rec: f(a,i,reduce2(f;k;i+1;as'))